Results for 'Nódier Agudelo Betancur'

104 found
Order:
  1. Curso de derecho penal: esquemas del delito.Nódier Agudelo Betancur - 1998 - Santafé de Bogotá, D.C., Colombia: Ediciones Nuevo Foro.
     
    Export citation  
     
    Bookmark  
  2.  17
    Cayetano Betancur: una vida para la filosofía: selección de ensayos.Cayetano Betancur - 2006 - Medellín, Colombia: Editorial Universidad de Antioquia, Instituto de Filosofía, Cátedra Cayetano Betancur.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Humanismo jurid́ico: el derecho desde una actitud humanista.Martín Agudelo Ramírez - 2001 - Bogotá: Editorial Leyer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  6
    Ensayo de una filosofía del derecho.Cayetano Betancur - 1937 - Bogotá: Editorial Temis.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  5
    La philosophie tragique chez Clément Rosset: un regard sur le réel.López Betancur & Olga del Pilar - 2018 - Paris: L'Harmattan.
    La philosophie tragique a eu comme lieu de naissance la pensée nietzschéenne. L'intention de Nietzsche fut d'extraire le terme du tragique du contexte du théâtre pour construire avec lui une réflexion au service de la vie. Notre intention dans cet ouvrage est de comprendre comment la pensée de Rosset suit celle de Nietzsche et à quel moment elle s'éloigne pour écrire sa propre version de la philosophie tragique. Sur ce point nous tentons de répondre : quel est l'apport de Rosset (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Sociologia de la autenticidad y la simulacion.Cayetano Betancur - 1955 - Bogota: [Ministerio de Educacion Nacional, Division de Extension Cultural].
     
    Export citation  
     
    Bookmark  
  7.  9
    On the hermeneutic experience or about other posibility to build knowledge.Elvia María González Agudelo - 2011 - Discusiones Filosóficas 12 (18):125 - 143.
  8.  29
    Is There Common Ground between Anthropocentrists and Nonanthropocentrists?Juan Pablo Hernández Betancur - 2019 - Environmental Ethics 41 (2):99-114.
    Despite the fact that their disagreement concerns the most basic metaethical and metaphysical questions regarding our relation to nature, it has become apparent that many anthropocentrists share with nonanthropocentrists a concern for the environment for its own sake, that is to say, a noninstrumental concern for nature. This concern is also present in practical spheres of environmental engagement. With regard to the philosophical task of justifying the claim that we ought to protect nature, this concern imposes on those that share (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Ontology and language in Deleuze: from the Logic of sense to A Thousand Plateaus and Foucault. [Spanish].Juan Pablo Hernández Betancur - 2009 - Eidos: Revista de Filosofía de la Universidad Del Norte 10:134-161.
    Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 Sin duda, la preocupación básica del pensamiento de Gilles Deleuze es la ontología. Siempre basado en una reflexión ontológica este filósofo abordará otros campos como la política y la estética. Sin embargo, poco se ha atendido al papel que el lenguaje desempeña con respecto al tema ontológico en esta obra. De hecho el lenguaje parece no ser una de las preocupaciones centrales de Deleuze, a pesar de que los casos en (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  21
    Creativity and design to articulate difference in the conflicted city: collective intelligence in Bogota’s grassroots organisations.Leonardo Parra-Agudelo, Jaz Hee-Jeong Choi, Marcus Foth & Carlos Estrada - 2018 - AI and Society 33 (1):147-158.
    This paper presents a critical reflection on insights into the ongoing endeavours for community engagement by Ayara and MAL; two urban grassroot organisations in Bogota, Colombia, where a long history of internal conflicts has resulted in diverse human right violations. The paper presents examples of the grassroots organisations’ unique methods of engagement that promotes building collective intelligence from the bottom–up through creative collaboration and design processes, leading to rebuilding social fabrics that support the common good for the people of Bogota.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. García Márquez: poeta de la imaginación.Inés Posada Agudelo - 2014 - Escritos 22 (49):431-455.
    En este artículo se pretende, a partir de la lectura de los textos literarios de Gabriel García Márquez, reconocer los elementos poéticos que se encuentran presentes de una manera peculiar y hondamente bella en su obra: la extrañeza, el pensamiento poético, la intensidad de sus imágenes, la exploración profunda de la vida, que son condiciones inherentes a la poesía, y que no solo están presentes en los distintos textos de múltiples escritores del realismo mágico Latinoamericano en general, sino de una (...)
    No categories
     
    Export citation  
     
    Bookmark  
  12.  27
    Solución en series para sistemas de ecuaciones diferenciales parciales.Abel Enrique Posso Agudelo, José Rodrigo González Granada & Carlos Mario Escobar Callejas - forthcoming - Scientia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  7
    Sartre a través de La náusea.Álvaro Restrepo Betancur - 2012 - [Medellín, Colombia]: Ediciones UNAULA.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  4
    Reglas Para Una Discusión Crítica.M. Sebastián Agudelo & Julián Fernando Trujillo Amaya - 2011 - Praxis Filosófica 28:195-227.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    muerte de Jesús: una constelación de metáforas.Juan Esteban Londoño Betancur - 2024 - Franciscanum 66 (181).
    En este artículo se estudia el uso de las metáforas en torno a la muerte de Jesús en el Nuevo Testamento. Con esto se busca hacer un aporte literario a las construcciones y deconstrucciones críticas que fundamentan la discusión sobre el significado de este acontecimiento. Para ello, se parte de la teoría de la metáfora que ofrecen filósofos como Paul Ricoeur, Chantal Maillard y Friedrich Nietzsche, y se compara con los descubrimientos de los exégetas en los últimos años. En la (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  9
    La guerre en face, voir au-delà: de la Grande Guerre aux turbulences actuelles de la mondialisation.Guillermo Agudelo (ed.) - 2018 - [Le Coudray-Macouard]: Les Acteurs du Savoir.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Noosphère, Genèse et Actualité.Guillermo Agudelo - 2018 - In La guerre en face, voir au-delà: de la Grande Guerre aux turbulences actuelles de la mondialisation. [Le Coudray-Macouard]: Les Acteurs du Savoir.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  24
    False Assumptions of the Problem of Personal Identity. From Personal to Narrative Identity.Marta Cecilia Betancur - 2005 - Estudios de Filosofía (Universidad de Antioquia) 31:83-103.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Implicaciones jurídicas de la evidencia digital en el proceso judicial colombiano.Dany Steven Gómez-Agudelo - 2020 - Ratio Juris 15 (30).
    Este artículo identifica los principales antecedentes legislativos y jurisprudenciales de la evidencia digital en Colombia, con miras a detallar su tratamiento en el proceso judicial; así mismo, pretende evidenciar cómo opera la cláusula de exclusión, y de qué manera se protege el derecho a la intimidad, en la obtención de evidencia digital, desde distintos medios de almacenamiento. La metodología es cualitativa y se utilizó la técnica de la revisión documental y la entrevista a expertos, para mostrar una realidad respecto a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    Teología y mundo de la vida. Perspectiva contextual de la Teología en la Universidad Católica Luis Amigó.Juan Esteban Londoño Betancur & Manuel David Gómez-Erazo - 2022 - Franciscanum 64 (178).
    Esta investigación presenta planteamientos fenomenológicos y hermenéuticos sobre el quehacer teológico en el contexto de la Universidad Católica Luis Amigó, en miras a la renovación del trabajo del pregrado definido como una Teología en contexto. Se buscó comprender en qué consiste tal quehacer teológico porque así lo requiere la carrera en los actuales marcos de comprensión socioeclesial, además de las definiciones institucionales dentro de la Universidad. Para esta comprensión, junto a la revisión de los aportes históricos, filosóficos y teológicos en (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  15
    El método de análisis y síntesis y el descubrimiento de Neptuno.Sebastián Molina Betancur - 2016 - Estudios de Filosofía (Universidad de Antioquia) 55:30-53.
    The discovery of Neptune was one of the greatest achievements of nineteenth-century astronomy. Using nothing but calculus and some observations of the Uranus’ anomalous motion, Adams and Le Verrier got to determine, independently, the possible place and mass of a hypothetical planet, which would produce its observational discovery. In this paper I will demonstrate that the methods used by these astronomers were influenced by Newton’s method of analysis and synthesis. Considering this, I will also expose, that some astronomy’s general epistemological (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    Del problema de la muerte al misterio de la muerte en Gabriel Marcel.Yefrey Antonio Ramírez Agudelo - 2019 - Daimon: Revista Internacional de Filosofía 76:189-204.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  14
    El idealismo objetivo una presentación de Charles Sanders Peirce.Sergio Ramírez Agudelo - 2014 - Cuadernos de Filosofía Latinoamericana 35 (111):9.
    El presente artículo pretende hacer una presentación de la filosofía de Peirce definida por él como idealismo objetivo, la puerta de entrada a esta definición de su filosofía está inscrita en la comprensión y funcionamiento de las tres categorías configuradoras de la realidad se hará un exposición de las tres categorías, haciendo un énfasis especial en la de terceridad, punto de quiebre de la definición del idealismo objetivo como un realismo escolástico.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Contrastes entre oralidad Y escritura en Los personajes de Tomás carrasquilla.María Teresa Agudelo Agudelo - 2008 - Escritos 16 (36):212-237.
    Se describen algunos personajes carrasquillescos y sus formas de pensamiento y expresión de acuerdo con sus diferentes entornos y relación con la palabra. Para hablar de los personajes orales, se hace referencia a ciertos prototipos como el campesino, el negro, el anciano, el niño y el contador de historias. Y en cuanto a los personajes letrados, se destacan algunos, como Magdalena Samudio, José Bermúdez, Beatriz Solsona y Bárbara Caballero, resaltando la figura del cura como el letrado del pueblo, y asociando (...)
    No categories
     
    Export citation  
     
    Bookmark  
  25.  9
    Contrastes entre oralidad y escritura en los personajes de Tomás Carrasquilla.Mª Teresa Agudelo Agudelo - 2008 - Escritos 16 (36):212-237.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  15
    Ontología y lenguaje en Deleuze: De Lógica del sentido a Mil mesetas y Foucault.Juan Pablo Hernández Betancur - 2009 - Eidos: Revista de Filosofía de la Universidad Del Norte 10:134-161.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  45
    Solucion de ecuaciones diferenciales matriciales lineales de segundo orden con coeficientes variables.Abel Enrique Posso Agudelo, José Rodrigo González Granada & Carlos Mario Escobar Callejas - forthcoming - Scientia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  36
    Spinoza's ethical man.Luis Javier Agudelo Palacio - 2011 - Escritos 19 (43):351-369.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Variaciones alrededor de un poema: una experiencia de lectura.Inés Posada Agudelo - 2007 - Escritos 15 (34):190-210.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  8
    Derechos humanos Y capitalismo. Una relación atravesada Por la ideología.Milany Andrea Gómez Betancur & Jorge Polo Blanco - 2021 - Eidos: Revista de Filosofía de la Universidad Del Norte 36:44-77.
    RESUMEN Este trabajo pretende analizar el papel jugado por la ideología en lo que respecta al despliegue histórico de los derechos humanos, interrogándose sobre si dicho despliegue ha cumplido con una función eminentemente ideológica. La reflexión transcurrirá a través de la visión de dos pensadores que han mantenido una de las discusiones filosóficas contemporáneas más interesantes: Louis Althusser y Michel Foucault. En un primer momento, se esbozará la teoría althusseriana de la ideología, con el fin de sostener que los derechos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Variaciones alrededor de un poema – Una experiencia de lectura–.Inés Posada Agudelo - 2007 - Escritos 15 (34):190-210.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  25
    Para un análisis crítico del concepto de normalización filosófica.Juan Camilo Betancur - 2015 - Universitas Philosophica 32 (65):137-158.
    The concept of “philosophical normalization” has become common place, recently questioned in the narrative of the historical process of philosophy in Latin America. From the theory of layers of time raised by R. Koselleck this paper proposes a critical review of this concept.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  8
    Vulneración del principio de imparcialidad en las teorías procedimentales de la justicia: cartesianismo político vs el principio de responsabilidad de interlocución lógica.Andrés Felipe Agudelo Zorrilla - 2023 - Pensamiento 79 (303):333-344.
    Este artículo tiene el objetivo de delimitar el componente epistemológico en la indagación reflexiva de las teorías procedimentales de la justicia, específicamente, describiendo el modo en el que se exacerban en un modus operandi que se denomina como cartesianismo político, es decir, como la búsqueda cognitiva de ideas claras y distintas que normativizan la administración de la vida; posteriormente, se propondrá, en antagonismo al cartesianismo político, la posibilidad de regular la indagación en torno a los procedimientos para lograr una estructura (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  13
    The common good in Catholic Social Teaching as a basis for reflection on accounting.Carlos Vargas-González, Héctor Darío Betancur & Carlos Eduardo Castaño Ríos - 2022 - Veritas: Revista de Filosofía y Teología 53:143-168.
    Resumen Este artículo tiene por objetivo exponer cómo la contaduría como profesión puede ampliar su horizonte de reflexión sobre el concepto de bien común fundamentándose en los postulados principales de la Doctrina Social de la Iglesia dentro de su horizonte interpretativo, para lo cual se basa en una metodología cualitativa y un método dialógico fundamentado en la hermenéutica gadameriana. El principal aporte de este estudio es proponer que la contaduría, basada en el bien común desde la Doctrina Social de la (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. El sujeto crítico: Construcción conceptual desde la teoría crítica clásica.Maribel Betancur Cortés, Wilmar Dubian Lince Bohórquez & Margarita María Restrepo Posada - 2010 - Revista Aletheia 2 (1).
    No categories
     
    Export citation  
     
    Bookmark  
  37.  8
    Fundamento ético de la cooperación internacional como política pública mundial.Jairo Agudelo Taborda - 2021 - Araucaria 23 (48).
    This article is a product of research about global public policies. In this is proposes an ethical basis of international cooperation as a GPP capable of providing public world goods of the international system. Through an analysis of the recent theoretical framework of IC it is concluded that such theories, even those that do not declare it explicitly, are based on Kantian cosmopolitan ethics. Even those theories that are based on the hobbesian premise of natural anarchy in state of war. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  17
    Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.
    The well-known algebraic semantics and topological semantics for intuitionistic logic (Int) is here extended to Wansing's bi-intuitionistic logic (2Int). The logic 2Int is also characterised by a quasi-twist structure semantics, which leads to an alternative topological characterisation of 2Int. Later, notions of Fregean negation and of unilateralisation are proposed. The logic 2Int is extended with a ‘Fregean negation’ connective ∼, obtaining 2Int∼, and it is showed that the logic N4⋆ (an extension of Nelson's paraconsistent logic) results to be the unilateralisation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    Aspectos metodológicos de la demostración de la fuerza en los Principia de Newton.Sebastián Molina Betancur - 2014 - Praxis Filosófica 39:67-92.
    Ante las insistentes críticas del mecanicismo continental que caracterizaban la fuerza gravitacional como una “cualidad oculta” Newton redactó en el “Escolio general” una breve respuesta en la que se afirmaba que la fuerza era real y era suficiente la explicación que había dado de ella en los Principia para sostenerla como tal. Al respecto dos interpretaciones han pretendido explicar cuáles son los aspectos metodológicos y matemáticos de esta respuesta de Newton. En el artículo se muestra que la lectura más reciente (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  4
    Bases para una lógica del pensamiento imperativo.Cayetano Betancur - 1968 - Bogotá,: Editorial Temis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  12
    Enseñanza-aprendizaje con prospectiva de paz en la formación policial.Héctor Betancur Giraldo - 2018 - Ratio Juris 13 (26):145-160.
    La investigación, al ser un ejercicio de naturaleza humana, permite realizar la descripción de una porción de realidad desde su objeto de estudio; por tanto, este trabajo investigativo permitió abordar algunos aportes de la teoría crítica de Frankfurt a través del ejercicio filosófico-reflexivo, orientado a pensar lo social desde lo humano con el fin de transformar una postura tradicional, desde lo crítico, contrastando la heteronimia que seculariza las voluntades humanas, pensando las problemáticas sociales desde el reconocimiento del otro como sujeto (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    El método de análisis y síntesis y el descubrimiento de Neptuno.Sebastián Molina Betancur - 2016 - Estudios de Filosofía (Universidad de Antioquia) 55:30-53.
    El descubrimiento de Neptuno fue uno de los mayores logros de la astronomía del siglo XIX. Armados con las herramientas del cálculo y con las observaciones del movimiento anómalo de Urano, Adams y Le Verrier determinaron, independientemente, la posible ubicación y masa de un hipotético planeta, lo que llevaría a su descubrimiento observacional. En este artículo me propongo demostrar que los métodos empleados por estos estaban influenciados por el método de análisis y síntesis de Newton. Mostraré, además, algunos principios epistemológicos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Falsos presupuestos del problema de la identidad personal. De la identidad personal a la identidad narrativa.Marta Cecilia Betancur - 2005 - Estudios de Filosofía (Universidad de Antioquia) 31:83-104.
    En el artículo se retoma el problema de la “identidad personal” con el fin de mostrar que la forma como ha sido planteado conduce a un callejón sin salida o a una antinomia insoluble: o se acepta el “yo” como una entidad metafísica, una sustancia permanente, una cosa, una sustancia consciente o “un yo” inmaterial alojado en el cuerpo, o, por el contrario, se niega una entidad de ese tipo y se rechaza como un fantasma metafísico. Además, se pretende demostrar (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Imperativo y norma en el derecho.Cayetano Betancur - 1985 - In Rubén Sierra Mejía (ed.), La Filosofía en Colombia, siglo XX. Bogotá, Colombia: Procultura.
     
    Export citation  
     
    Bookmark  
  45.  21
    La metodología de Newton y la demonstración de la realidad de la fuerza.Sebastián Molina Betancur - 2014 - Estudios de Filosofía (Universidad de Antioquia) 50:131-154.
    Algunos especialistas de Newton han sostenido que la metodología con la que éste demuestra la existencia de la fuerza se fundamenta en el tratamiento matemático de los fenómenos del movimiento, lo que se ha convertido en la lectura clásica del asunto. No obstante, esta interpretación presenta amplias limitaciones si se examina a la luz de la lectura que intérpretes como Guicciardini y Guerlac proponen. Este artículo muestra las limitaciones de la lectura clásica a la luz de esta lectura más reciente, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  6
    La Necesidad de Generalidad En Ciencias Sociales.Marta Cecilia Betancur - 2011 - Praxis Filosófica 27:195-222.
    El artículo pretende realizar el debate en relación con dos posiciones enciencias sociales: una posición reduccionista que pretende que para queuna disciplina sea científica debe seguir el modelo de las ciencias naturales,razón por la cual las sociales no lograrían ese estatus en cuanto no puedenconseguir la universalidad que ellas alcanzan.Adiferencia suya, pero sin laapropiada discusión a ese modelo, se ha generado en estas ciencias unaposición relativista que considera que efectivamente el conocimiento quealcanzan es solamente particular y relativo a cada cultura. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  17
    Silenciamientos, enfoques y escrituras de la filosofía en Colombia. Para una relectura de Ideas… y Valores.Juan Camilo Betancur Gómez - 2021 - Ideas Y Valores 70:53-78.
    El presente trabajo discute el relato de la “normalidad filosófica”, tal como se decantó en algunas versiones posteriores a 1980, con varios elementos de la producción textual de la filosofía en Colombia, entre 1940-1950. A partir de la exposición de distintos enfoques textuales en la escritura de 1940-1950, se dará cuenta del programa o las aspiraciones que algunos escritores depositaron en la filosofía, para poner esto como trasfondo de la revista Ideas y Valores y proponer así una mirada más completa (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  18
    Valor intrínseco y valor extrínseco en ética ambiental. Una alternativa antropocéntrica al instrumentalismo.Juan Pablo Hernández Betancur - 2019 - Isegoría 61:641-654.
    In the first place, I propose to specify the debate between non-anthropocentrists and anthropocentrists as one between those who defend that the environment has intrinsic value, that is, value that while independent of all relation to human beings is still morally binding, and those who deny this, i.e., assert that the environment only has extrinsic value. I argue for the second option but claim that this should not be an obstacle to address some of the worries of environmental ethics, since (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  39
    Translating Non-classical Logics into Classical Logic by Using Hidden Variables.Juan C. Agudelo-Agudelo - 2017 - Logica Universalis 11 (2):205-224.
    Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this alternative procedure (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  31
    On polynomial semantics for propositional logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.
    Some properties and an algorithm for solving systems of multivariate polynomial equations over finite fields are presented. It is then shown how formulas of propositional logics can be translated into polynomials over finite fields in such a way that several logic problems are expressed in terms of algebraic problems. Consequently, algebraic properties and algorithms can be used to solve the algebraically-represented logic problems. The methods described herein combine and generalise those of various previous works.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 104